141. Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
Author: Zhenjiang Hu, Mario Rodriguez-Artalejo )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2441
142. Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
Author: Herbert Kuchen, Kazunori Ueda )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2024
143. Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings
Author: Yukiyoshi Kameyama, Peter J. Stuckey )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2998
144. Functional and logic programming: 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
62
.
F84
2001
145. Fuzzy systems design: social and engineering applications
Author: Leonid Reznik, Vladimir Dimitrov, Janusz Kacprzyk )eds.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، System design,، Fuzzy systems,، Logic programming
Classification :
QA
76
.
9
.
S88
F89
1998
146. Generalized quantifiers and computation
Author: Jouko Väänänen (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
147. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures
Author: Jouko Vaananen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1754
148. Graph-Based Proof Procedures for Horn Clauses
Author: \ Stan Raatz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming,Horn clauses,برنامهنویسی منطقی
Classification :
E-Book
,
149. Handbook of logic in artificial intelligence and logic programming
Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
H36
1993
150. Handbook of logic in artificial intelligence and logic programming
Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic programming , Artificial intelligence , Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
H36
1993
151. Handbook of logic in artificial intelligence and logic programming
Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
H36
1993
152. Handbook of logic in artificial intelligence and logic programming
Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
H26
153. Implementation and application of functional language
Author: / Jurriaan Hage, Marco T. Morazaan (eds
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
Classification :
QA76
.
62
.
I58
2010
154. Implementations of Logic Programming Systems
Author: edited by Evan Tick, Giancarlo Succi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.
Classification :
QA76
.
63
E358
1994
155. Implementations of logic programming systems
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming
Classification :
QA
76
.
63
.
I48
1994
156. Inductive Logic Programming
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming -- Congresses,Induction (Logic) -- Congresses,برنامهنویسی منطقی -- کنگرهها,استقرا (منطق) -- کنگرهها
Classification :
E-Book
,
157. Inductive Logic Programming
Author: \ Jesse Davis, Jan Ramon (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming,برنامهنویسی منطقی, -- Congresses, -- کنگرهها,a03,a03,Induction (Logic) -- Congresses.,Machine learning -- Congresses.,استقرا (منطق) -- کنگره ها,فراگیری ماشینی -- کنگره ها
Classification :
QA
76
.
63
.
I57
2015
E-Book
,
158. Inductive Logic Programming :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic programming ; Congresses. ;
159. Inductive logic programmin
Author: / Hendrick Blockeel ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic programming--Congresses
160. Inductive logic programming
Author: / Luc De Raedt (Ed.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic programming, Congresses,Computer logic, Congresses
Classification :
QA76
.
63
.
I47
2010
